"as" polymorphic props